تعداد ۳ پاسخ غیر تکراری از ۳ پاسخ تکراری در مدت زمان ۶,۳۶ ثانیه یافت شد.

1. Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings

پدیدآورنده : Franz Baader, Andrei Voronkov )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence,Congresses ، Logic programming

رده :

QA

76

.

L28

Vol

.

3452

2. Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

پدیدآورنده : Matthias Baaz, Andrei Voronkov )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Artificial intelligence,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

2514

3. Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005: proceedings

پدیدآورنده : / Geoff Sutcliffe, Andrei Voronkov (eds.)

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Logic programming,Automatic theorem proving,Artificial intelligence,-- Congresses,-- Congresses,-- Congresses

رده :

005

.

115

I61L

2005

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها